1. Abstraction refinement for large scale model checking
پدیدآورنده: / Chao Wang, Gary D. Hachtel, Fabio Somenzi
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model
رده :
QA
76
.
76
.
V47W36
2006
2. Logic synthesis and verification algorithms
پدیدآورنده: Hachtel, Gary D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Integrated circuits-- Verification,، Computer-aided design
رده :
TK
7874
.
75
.
H33
1996
